algebra for digital design derivation 1 Research Prospectus Algebra for Digital Design Derivation

algebra for digital design derivation 1 Research Prospectus Algebra for Digital Design Derivation

Double derivations of n-Lie algebras

After introducing double derivations of $n$-Lie algebra $L$ we‎ ‎describe the relationship between the algebra $mathcal D(L)$ of double derivations and the usual‎ ‎derivation Lie algebra $mathcal Der(L)$‎. ‎In particular‎, ‎we prove that the inner derivation algebra $ad(L)$‎ ‎is an ideal of the double derivation algebra $mathcal D(L)$; we also show that if $L$ is a perfect $n$-Lie algebra‎ ‎wit...

Lie triple derivation algebra of Virasoro-like algebra

Let $mathfrak{L}$ be the Virasoro-like algebra and $mathfrak{g}$ itsderived algebra, respectively. We investigate the structure of the Lie triplederivation algebra of $mathfrak{L}$ and $mathfrak{g}$. We provethat they are both isomorphic to $mathfrak{L}$, which provides twoexamples of invariance under triple derivation.

DDD { A System for Mechanized Digital Design Derivation 1

Our research group at Indiana University is investigating a formalization of digital system design that is based on functional algebra. We have developed a transformation system called DDD to facilitate this study. DDD stands for digital design derivation; the system is used interactively to translate higher level speci cations into hierarchical boolean systems, to which logic synthesis tools a...

Local higher derivations on C*-algebras are higher derivations

Let $mathfrak{A}$ be a Banach algebra. We say that a sequence ${D_n}_{n=0}^infty$ of continuous operators form $mathfrak{A}$ into $mathfrak{A}$ is a textit{local higher derivation} if to each $ainmathfrak{A}$ there corresponds a continuous higher derivation ${d_{a,n}}_{n=0}^infty$ such that $D_n(a)=d_{a,n}(a)$ for each non-negative integer $n$. We show that if $mathfrak{A}$ is a $C^*$-algebra t...